Наукова періодика України - НБУВ Національна бібліотека України імені В. І. Вернадського

Простий
пошук

Розширений
пошук

Покажчики

Професійний
пошук

Рубрикатор
НБУВ

Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски

Журнали та продовжувані видання

Автореферати дисертацій

Реферативна база даних

Наукова періодика України

Тематичний навігатор

Авторитетний файл імен осіб

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Повнотекстовий пошук

Знайдено в інших БД:

Книжкові видання та компакт-диски (16)

Журнали та продовжувані видання (1)

Реферативна база даних (22)

Список видань за алфавітом назв:

A B C D E F G H I J L M N O P R S T U V W

А Б В Г Ґ Д Е Є Ж З И І К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Авторський покажчик Покажчик назв публікацій

Пошуковий запит: (<.>A=Летичевский А$<.>)
Загальна кількість знайдених документів : 17 Представлено документи з 1 до 17
1.	Колчин А. В. Обзор современных систем и методов верификации формальных моделей [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Проблеми програмування. - 2012. - № 4. - С. 75-88. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_4_9 Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей. Попередній перегляд: Завантажити - 407.579 Kb Зміст випуску Реферативна БД Цитування
2.	Летичевский А. А. Эксперименты с дедуктивным тестированием реактивных систем [Електронний ресурс] / А. А. Летичевский // Математичні машини і системи. - 2013. - № 4. - С. 20-28. - Режим доступу: http://nbuv.gov.ua/UJRN/MMS_2013_4_5 Попередній перегляд: Завантажити - 487.581 Kb Зміст випуску Цитування
3.	Колчин А. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Проблеми програмування. - 2014. - № 2-3. - С. 146-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_19 Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а также гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний. Попередній перегляд: Завантажити - 405.672 Kb Зміст випуску Реферативна БД Цитування
4.	Летичевский А. А. Алгоритм трансляции APLAN-кода [Електронний ресурс] / А. А. Летичевский, А. А. Летичевский, В. С. Песчаненко // Управляющие системы и машины. - 2010. - № 6. - С. 40-46. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2010_6_8 Попередній перегляд: Завантажити - 333.177 Kb Зміст випуску Цитування
5.	Летичевский А. Ад. Инсерционное моделирование [Електронний ресурс] / А. Ад. Летичевский // Управляющие системы и машины. - 2012. - № 6. - С. 3-14. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_2 Представлен обзор современного состояния инсерционного моделирования - направления, которое развивается на протяжении последнего десятилетия как подход к построению общей теории взаимодействия агентов и сред в сложных распределенных многоагентных системах. Попередній перегляд: Завантажити - 472.157 Kb Зміст випуску Реферативна БД Цитування
6.	Летичевский А. А. Система доказательного программирования [Електронний ресурс] / А. А. Летичевский, М. К. Мороховец, В. С. Песчаненко // Управляющие системы и машины. - 2012. - № 6. - С. 64-71. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_10 Попередній перегляд: Завантажити - 373.623 Kb Зміст випуску Цитування
7.	Летичевский А. А. Алгоритм Очевидности Глушкова [Електронний ресурс] / А. А. Летичевский, А. В. Лялецкий, М. К. Мороховец // Кибернетика и системный анализ. - 2013. - Т. 49, № 4. - С. 3-16. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2013_49_4_2 Попередній перегляд: Завантажити - 122.941 Kb Зміст випуску Цитування
8.	Летичевский А. А. Генерация символьных трасс в системе инсерционного моделирования [Електронний ресурс] / А. А. Летичевский, А. Ал. Летичевский, В. С. Песчаненко, А. А. Губа // Кибернетика и системный анализ. - 2015. - Т. 51, № 1. - С. 7-19. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2015_51_1_4 Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска, применение нового предикатного трансформера, допускающего кванторы общности с ослабленными ограничениями относительно предыдущих версий. Попередній перегляд: Завантажити - 171.574 Kb Зміст випуску Реферативна БД Цитування
9.	Летичевский А. А. Парадигмы модельного и символьного тестирования программных систем [Електронний ресурс] / А. А. Летичевский // Кибернетика и системный анализ. - 2015. - Т. 51, № 5. - С. 31-44. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2015_51_5_5 Попередній перегляд: Завантажити - 140.662 Kb Зміст випуску Цитування
10.	Летичевский А. А. Свойства предикатного трансформера системы VRS [Електронний ресурс] / А. А. Летичевский, А. Б. Годлевский, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 3-16. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_2 Попередній перегляд: Завантажити - 147.659 Kb Зміст випуску Цитування
11.	Летичевский А. А. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования [Електронний ресурс] / А. А. Летичевский, В. Н. Герман, М. К. Мороховец, Н. Н. Щеголева // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 169-180. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_16 Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та надано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1. Попередній перегляд: Завантажити - 111.055 Kb Зміст випуску Реферативна БД Цитування
12.	Колчин А. В. Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем [Електронний ресурс] / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Штучний інтелект. - 2015. - № 1-2. - С. 127-136. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2015_1-2_17 Попередній перегляд: Завантажити - 330.836 Kb Зміст випуску Цитування
13.	Летичевский А. А. Кибер-физические системы [Електронний ресурс] / А. А. Летичевский, А. А. Летичевский, В. Г. Скобелев, В. А. Волков // Кибернетика и системный анализ. - 2017. - Т. 53, № 6. - С. 3-19. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2017_53_6_2 Приведен ретроспективный анализ теории кибер-физических систем (КФС) и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, являющаяся основой распространения алгебраической теории взаимодействия размеченных транзиционных систем на КФС. Попередній перегляд: Завантажити - 166.762 Kb Зміст випуску Реферативна БД Цитування
14.	Волков В. А. Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ [Електронний ресурс] / В. А. Волков, А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Штучний інтелект. - 2017. - № 2. - С. 71-84. - Режим доступу: http://nbuv.gov.ua/UJRN/II_2017_2_10 Попередній перегляд: Завантажити - 1.146 Mb Зміст випуску Цитування
15.	Львов М. С. Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул [Електронний ресурс] / М. С. Львов, В. С. Песчаненко, А. А. Летичевский, Ю. Г. Тарасич, А. С. Баев // Кибернетика и системный анализ. - 2018. - Т. 54, № 6. - С. 159-169. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2018_54_6_18 Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения. Попередній перегляд: Завантажити - 197.22 Kb Зміст випуску Реферативна БД Цитування
16.	Летичевский А. А. Оптимизация переписывающей машины системы алгебраического программирования APS [Електронний ресурс] / А. А. Летичевский, А. А. (мл.) Летичевский, В. С. Песчаненко // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2009. - № 847, Вип. 11. - С. 213-220. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2009_847_11_24 Попередній перегляд: Завантажити - 175.255 Kb Зміст випуску Цитування
17.	Летичевский А. А. Алгебраическая теория взаимодействия и кибер-физические системы [Електронний ресурс] / А. А. Летичевский // Проблемы управления и информатики. - 2017. - № 5. - С. 37-55. - Режим доступу: http://nbuv.gov.ua/UJRN/PUI_2017_5_7 Рассмотрена новая модель кибер-физических систем, которая обобщает известные модели типа гибридных и временных автоматов. Обсуждены вопросы применения методов моделирования и верификации, накопленных в области программирования, к разработке кибер-физических систем. Попередній перегляд: Завантажити - 433.069 Kb Зміст випуску Реферативна БД Цитування

Відділ наукової організації електронних інформаційних ресурсів

Пам`ятка користувача

Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського